1. Formal System Verification

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Microprocessors,Electronics,Microelectronics,ریزپردازنده‌ها,الکترونیک,میکرو الکترونیک

رده :
E-Book
,

2. Formal system verification : state-of-the-art and future trends

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems

رده :
QA
76
.
76
.
V47F6

3. Natural language processing for electronic design automation

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Natural language processing (Computer science) ;